Object Organisation in Software Environments for Formal Methods
نویسندگان
چکیده
Software development by formal methods involves an over whelming amount of technical and managerial detail Systematic organ isation of this information in a method s support environment is an im portant engineering concern In this paper we introduce a model for object organisation in software environments for formal methods with particular emphasis on easy construction modi cation review and reuse of software objects We demonstrate how the model can be instantiated to individual methodologies to obtain the object organisation architec tures for their support environments
منابع مشابه
Object Organisation in Software Environments for Formal Methods Object Organisation in Software Environments for Formal Methods
Software development by formal methods involves an overwhelming amount of technical and managerial detail. Systematic organisation of this information in a method's support environment is an important engineering concern. In this paper, we introduce a model for object organisation in software environments for formal methods, with particular emphasis on easy construction, modiication, review and...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملUsing Object - Z to specify a web browser
A speciication describes the functions which a system provides to its users without explanation of how those functions are implemented. A speciication of an interactive system's user-interface is an abstract description of the interactive system itself. Such a speciica-tion indicates which functional aspects of the system are perceivable by the user and the logical organisation of information p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993